Add some overview notes on the GADT implementation #14996
Conversation
|
would you mind submitting this instead to the Scala 3 contribution guide, I would like to remove the internals docs at some point as they were copied and improved upon there. |
|
I kind of think contributing stuff should be in the repo, not outside. I can see the value of splitting out more general language documentation, helpful guides, examples, faqs and whatnot. But for things that are so closely related to internals and implementation I'd rather keep things close. For instance, if something starts as a piece of scaladoc or in-code comment, it could grow and want to become in markdown, perhaps to add a diagram or some clickable links - I don't think it should have to be exported to another repo. Similar to the desire to iterating on the capture checking docs or explicit null docs, which are WIP and not part of any release. |
|
actually, the sidebar still needs updating - https://github.com/lampepfl/dotty/blob/main/docs/sidebar.yml |
Authored by Aleksander Boruch-Gruszecki. The intent here is to start to have some more detailed information on the implementation, even in an initially rough form that can be refined over time.
Authored by Aleksander Boruch-Gruszecki.
The intent here is to start to have some more detailed information on
the implementation, even in an initially rough form that can be refined
over time.